resolution theorem
[计] 归结定理
热门查询
- Open University un. 开放大学 [网络] 英国开放大学；英国公开大学；英国空中大学
- prolongation n. 延伸；延长部分；[经] 延期
- kindly adv. 亲切地；温和地；仁慈地 adj. 亲切的；和蔼的；体贴的；爽快的
- bauhaus n. 鲍豪斯建筑学派（德国建筑之一派）；鲍豪斯（德国人名）
- biophysical 生物物理学的
- geddit n. <英><非正>懂吗（开玩笑或讽刺的意味）
- Augustinian n. 奥古斯丁修会会士 adj. 奥古斯丁的
- mitre n. 斜接；主教法冠；僧帽 vt. 将…斜接 vi. 斜接 n. (Mitre)人名；(西、罗)米特雷；(英)迈特；(法)米特
- cabana n. 小屋；有凉台的屋子 n. (Cabana)人名；(葡、罗、法)卡巴纳；(西)卡瓦纳
- intrapsychic adj. 心灵内部的；内心的
- Lytton 利顿(①姓氏 ②Edward George Earle, Bulwer-1st Baron, 1803-1873, 英国小说家, 剧作家, 政治家)
- beca abbr. Bureau of Educational and Cultural Affairs 教育及文化事务司（美国国务院）; Bureau of European and Canadian Affairs 欧洲和加拿大事务局
- iga abbr. integrating gyro (scope) accelerometer 综合回转（范围）加速计
- fanlight n. 楣窗，[建] 扇形窗
- reinhold n. 莱因霍尔德(m.)
- benumb vt. 使迟钝；使麻木；使失去感觉
- miniscule adj. 草写小字的（等于minuscule）；小字体的
- familiarise vt. 使熟悉（等于familiarize）
- colosseum n. 罗马圆形大剧场
- embeddedness n. 嵌入；嵌入性；根植性
